本稿では、テスト関数の空間 $ \mathcal{D}(\mathbb{R}) $ （または $ C_c^\infty(\mathbb{R}) $ ）における位相の厳密な定義、その上で定義される点列収束の必要十分条件の完全な証明、さらに現代の数学（とりわけ代数幾何学やホモロジー代数）との融合を目指して創始された「凝縮数学 (condensed mathematics)」および「液体数学 (liquid mathematics)」の視点からの再構築について解説する。解説はすべて自己完結的 (self-contained) であり、数学的な論理のギャップを排除して記述する。
まず、テスト関数空間を定義するための基本概念を定義する。実数全体の集合 $ \mathbb{R} $ には通常の位相が入っているものとする。また、集合の包含関係には記号 $ \subset $ を用い、空集合は $ \varnothing $ で表す。集合の差は $ \smallsetminus $ で表す。
複素数値（または実数値）関数 $ \phi : \mathbb{R} \to \mathbb{C} $ に対し、そのサポート (support) または台とは、 $ \phi $ が $ 0 $ でない値をとる点の集合の閉包として定義される：
$$ \text{supp}(\phi) = \overline{\{x \in \mathbb{R} \mid \phi(x) \neq 0\}} $$定義より、 $ \text{supp}(\phi) $ は $ \mathbb{R} $ の閉部分集合である。その補集合である $ \mathbb{R} \smallsetminus \text{supp}(\phi) $ は $ \mathbb{R} $ の開集合となる。
$\mathbb{R}$ 上の無限階微分可能な複素数値関数の全体を $ C^\infty(\mathbb{R}) $ で表す。このとき、コンパクトなサポートを持つ $ C^\infty $ 関数の全体を $ \mathcal{D}(\mathbb{R}) $ で表し、テスト関数の空間と呼ぶ：
$$ \mathcal{D}(\mathbb{R}) = \{\phi \in C^\infty(\mathbb{R}) \mid \text{supp}(\phi) \subset K \text{ を満たすコンパクト集合 } K \subset \mathbb{R} \text{ が存在する}\} $$このようなテスト関数が豊富に存在することを保証するため、以下のバンプ関数 (bump function) $ \psi : \mathbb{R} \to \mathbb{R} $ を構成する：
$$ \psi(x) = \begin{cases} \exp\left(-\frac{1}{1 - x^2}\right) & (|x| < 1) \\ 0 & (|x| \ge 1) \end{cases} $$この関数 $ \psi $ は無限階微分可能であり、 $ \text{supp}(\psi) = [-1, 1] $ であるため、 $ \psi \in \mathcal{D}(\mathbb{R}) $ が成り立つ。このことを証明する。
$ |x| < 1 $ において $ \psi $ が無限階微分可能であることは自明である。 $ |x| > 1 $ においても恒等的に $ 0 $ であるため、やはり無限階微分可能である。したがって、境界点である $ x = \pm 1 $ においてすべての階数の導関数が存在し、それらが $ 0 $ に一致することを示せばよい。対称性から $ x = 1 $ の場合のみを示せば十分である。
$ |x| < 1 $ において、数学的帰納法により、 $ n $ 階導関数が以下のように表されることが示される：
$$ \frac{d^n \psi}{dx^n}(x) = P_n\left(\frac{1}{1 - x^2}, x\right) \exp\left(-\frac{1}{1 - x^2}\right) $$ここで $ P_n $ は $ 2 $ 変数の多項式である。 $ t = \frac{1}{1 - x^2} $ とおくと、 $ x \to 1 - 0 $ のとき $ t \to \infty $ となる。任意の多項式 $ Q(t) $ に対し、指数関数の成長速度に関する極限公式から以下が成り立つ：
$$ \lim_{t \to \infty} Q(t) e^{-t} = 0 $$これにより、各 $ n \ge 0 $ に対して、左極限は以下のように定まる：
$$ \lim_{x \to 1 - 0} \frac{d^n \psi}{dx^n}(x) = 0 $$一方で、 $ x > 1 $ からの右極限は恒等的に $ 0 $ であるため、 $ x = 1 $ において $ \psi $ は無限階微分可能であり、そのすべての階数の導関数の値は $ 0 $ となる。 $ \text{supp}(\psi) = [-1, 1] $ は有界閉集合であり、したがって Heine-Borel の定理よりコンパクト集合である。ゆえに、 $ \psi \in \mathcal{D}(\mathbb{R}) $ である。 (証明終)
任意のコンパクト集合 $ K \subset \mathbb{R} $ に対し、サポートが $ K $ に含まれるテスト関数の全体を $ \mathcal{D}_K(\mathbb{R}) $ とする：
$$ \mathcal{D}_K(\mathbb{R}) = \{\phi \in C^\infty(\mathbb{R}) \mid \text{supp}(\phi) \subset K\} $$これは $ \mathcal{D}(\mathbb{R}) $ の複素線形部分空間をなす。 $ \mathcal{D}_K(\mathbb{R}) $ 上に、可算個の半ノルムの族 $ \{p_m\}_{m=0}^\infty $ を以下のように定める：
$$ p_m(\phi) = \sup_{x \in K} \left|\frac{d^m \phi}{dx^m}(x)\right| \quad (m = 0, 1, 2, \dots) $$$ p_0(\phi) = 0 $ ならば $ \phi = 0 $ となるため、これらは実際にはすべてノルムである。この半ノルム族により、 $ \mathcal{D}_K(\mathbb{R}) $ 上に Hausdorff な局所凸位相空間 (locally convex topological vector space) の構造が導入される。
$ \mathcal{D}_K(\mathbb{R}) $ は、半ノルム族 $ \{p_m\}_{m=0}^\infty $ から誘導される距離に関して完備 (complete) な距離空間であり、したがって Fréchet 空間 (Fréchet space) となる。
半ノルム族 $ \{p_m\}_{m=0}^\infty $ によって誘導される距離 $ d(\phi, \psi) $ は、以下のように定義される：
$$ d(\phi, \psi) = \sum_{m=0}^\infty 2^{-m} \frac{p_m(\phi - \psi)}{1 + p_m(\phi - \psi)} $$この距離に関して $ \mathcal{D}_K(\mathbb{R}) $ が完備であることを示す。 $ \{\phi_j\}_{j=1}^\infty \subset \mathcal{D}_K(\mathbb{R}) $ を Cauchy 列とする。このとき、任意の $ m \ge 0 $ に対し、以下が成り立つ：
$$ p_m(\phi_i - \phi_j) \to 0 \quad (i, j \to \infty) $$これは、各階の導関数列 $ \{d^m \phi_j / dx^m\}_{j=1}^\infty $ が $ K $ 上で一様収束の基準（一様 Cauchy 列）を満たすことを意味する。コンパクト集合 $ K $ 上の連続関数の空間 $ C(K) $ は一様ノルムに関して完備であるため、各 $ m \ge 0 $ に対して、ある連続関数 $ g_m \in C(K) $ が存在して、 $ d^m \phi_j / dx^m $ は $ g_m $ に $ K $ 上で一様収束する。
特に $ m = 0 $ のとき、 $ \phi_j $ は $ g_0 $ に一様収束する。各 $ \phi_j $ の台は $ K $ に含まれるため、 $ g_0 $ も $ K $ の外側で $ 0 $ であり、 $ \text{supp}(g_0) \subset K $ である。一様収束と微分の可換性に関する解析学の定理より、以下が従う：
$$ \frac{dg_m}{dx} = g_{m+1} \quad (m = 0, 1, 2, \dots) $$これにより、極限関数 $ g_0 $ は無限階微分可能であり、 $ g_0^{(m)} = g_m $ となる。したがって、 $ \phi = g_0 $ とおくと、 $ \phi \in \mathcal{D}_K(\mathbb{R}) $ であり、任意の $ m \ge 0 $ に対して $ p_m(\phi_j - \phi) \to 0 $ が成り立つ。これは $ d(\phi_j, \phi) \to 0 $ を意味し、完備性が示された。 (証明終)
テスト関数の空間 $ \mathcal{D}(\mathbb{R}) $ は、コンパクト集合の列 $ K_n = [-n, n] $ を用いることで、部分空間 $ \mathcal{D}_{K_n}(\mathbb{R}) $ の増大列の和集合として表すことができる：
$$ \mathcal{D}(\mathbb{R}) = \bigcup_{n=1}^\infty \mathcal{D}_{K_n}(\mathbb{R}) $$ここで、自然な埋め込み写像を $ i_n : \mathcal{D}_{K_n}(\mathbb{R}) \to \mathcal{D}(\mathbb{R}) $ とする。
$ \mathcal{D}(\mathbb{R}) $ 上の帰納的極限位相 (inductive limit topology)、あるいはLF位相とは、**すべての埋め込み写像 $ i_n $ を連続にする最細の局所凸位相**である。
具体的には、 $ \mathcal{D}(\mathbb{R}) $ 上の凸かつ原点に関して対称な部分集合 $ U $ がこの位相における原点開近傍であることの必要十分条件は、任意の $ n \in \mathbb{N} $ に対して、 $ U \cap \mathcal{D}_{K_n}(\mathbb{R}) $ が Fréchet 空間 $ \mathcal{D}_{K_n}(\mathbb{R}) $ において原点開近傍であることとして定義される。この位相により、 $ \mathcal{D}(\mathbb{R}) $ は局所凸位相空間をなす。
帰納的極限の定義より、 $ \mathcal{D}(\mathbb{R}) $ 上の半ノルム $ q $ が連続であるための必要十分条件は、任意の $ n \in \mathbb{N} $ に対して制限写像 $ q|_{\mathcal{D}_{K_n}(\mathbb{R})} $ が $ \mathcal{D}_{K_n}(\mathbb{R}) $ 上で連続であることである。 Fréchet 空間の連続半ノルムの性質から、これは以下の条件と同値となる：
任意の $ n \in \mathbb{N} $ に対し、ある定数 $ C_n > 0 $ と非負整数 $ N_n $ が存在して、以下を満たす：
$$ \forall \phi \in \mathcal{D}_{K_n}(\mathbb{R}), \quad q(\phi) \le C_n \sum_{k=0}^{N_n} \sup_{x \in K_n} \left|\frac{d^k \phi}{dx^k}(x)\right| $$
このすべての連続半ノルムのなす族が、 $ \mathcal{D}(\mathbb{R}) $ の位相を定める。この空間は、単一のノルムや距離では記述できない非距離化可能な完備局所凸空間である。さらに、有界閉集合がコンパクトであるという Montel space の性質や、テンソル積が極めて一意的に振る舞う核型空間 (nuclear space) の性質を持つ。
超関数 (distribution) のなす空間 $ \mathcal{D}'(\mathbb{R}) $ を、 $ \mathcal{D}(\mathbb{R}) $ 上の連続線形汎関数の空間として定義する際、 $ \mathcal{D}(\mathbb{R}) $ 上の点列の収束の概念を理解することが実用上不可欠である。ここでは、その必要十分条件を完全に証明する。
$ \mathcal{D}(\mathbb{R}) $ における点列 $ \{\phi_j\}_{j=1}^\infty $ が $ 0 $ に収束するための必要十分条件は、以下の2つの条件が同時に満たされることである：
条件1と条件2が満たされていると仮定する。条件1より、共通のコンパクト集合 $ K $ が存在し、 $ \text{supp}(\phi_j) \subset K $ が任意の $ j $ で成り立つ。十分大きな $ n \in \mathbb{N} $ を選ぶことで、 $ K \subset K_n = [-n, n] $ とできる。したがって、すべての $ \phi_j $ は部分空間 $ \mathcal{D}_{K_n}(\mathbb{R}) $ に属する。
条件2より、任意の固定された $ k \ge 0 $ に対し、半ノルム $ p_k(\phi_j) = \sup_{x \in K_n} |d^k \phi_j / dx^k(x)| $ は $ j \to \infty $ のとき $ 0 $ に収束する。これは、 Fréchet 空間 $ \mathcal{D}_{K_n}(\mathbb{R}) $ の位相において、 $ \phi_j \to 0 $ となることを意味する。
帰納的極限位相の定義により、埋め込み写像 $ i_n : \mathcal{D}_{K_n}(\mathbb{R}) \to \mathcal{D}(\mathbb{R}) $ は連続である。連続写像は点列の極限を保存するため、 $ \mathcal{D}(\mathbb{R}) $ においても $ \phi_j = i_n(\phi_j) \to 0 $ が成り立つ。 (十分条件の証明終)
$ \phi_j \to 0 $ in $ \mathcal{D}(\mathbb{R}) $ であると仮定する。これは、 $ \mathcal{D}(\mathbb{R}) $ 上の任意の連続半ノルム $ q $ に対して、 $ \lim_{j \to \infty} q(\phi_j) = 0 $ が成り立つことを意味する。これをもとに、条件1と条件2を順に導き出す。
すべての $ \phi_j $ の台を同時に含むようなコンパクト集合が存在しないと仮定し、矛盾を導く。コンパクト列 $ K_n = [-n, n] $ に対し、仮定より、任意の $ n \in \mathbb{N} $ に対して、ある添字 $ j_n $ が存在して、 $ \text{supp}(\phi_{j_n}) \not\subset K_n $ となる。サポートの定義から、 $ K_n $ の外側に、以下を満たす点 $ x_n $ を選ぶことができる：
$$ |x_n| > n \quad \text{かつ} \quad \phi_{j_n}(x_n) \neq 0 $$添字の列 $ \{j_n\}_{n=1}^\infty $ は、 $ n $ の増加に伴って厳密に単調増加するように（必要であれば部分列をとることで）選んでおく。ここで、 $ \mathcal{D}(\mathbb{R}) $ 上の写像 $ q : \mathcal{D}(\mathbb{R}) \to \mathbb{R} $ を以下のように定義する：
$$ q(\phi) = \sum_{n=1}^\infty c_n |\phi(x_n)| \quad \left(\text{ただし } c_n = \frac{1}{|\phi_{j_n}(x_n)|} > 0\right) $$この写像 $ q $ について、以下の性質を示す。
(i) $ q $ が well-defined な半ノルムであること:
任意の $ \phi \in \mathcal{D}(\mathbb{R}) $ に対し、その台 $ \text{supp}(\phi) $ はコンパクトであるため、ある $ M \in \mathbb{N} $ が存在して $ \text{supp}(\phi) \subset K_M = [-M, M] $ となる。 $ n \ge M $ のとき、 $ |x_n| > n \ge M $ より $ x_n \notin K_M $ であるため、 $ \phi(x_n) = 0 $ となる。したがって、上記定義における無限和は実際には $ n = 1 $ から $ M-1 $ までの有限和となり、その値は有限値として確定する：
$$ q(\phi) = \sum_{n=1}^{M-1} c_n |\phi(x_n)| < \infty $$また、有限和の絶対値の性質から、 $ q $ が半ノルムの公理（非負性、斉次性、三角不等式）を満たすことは明らかである。したがって $ q $ は well-defined である。
(ii) $ q $ が連続であること:
帰納的極限位相の定義により、 $ q $ が連続であることを示すには、各 $ m \in \mathbb{N} $ に対し制限写像 $ q|_{\mathcal{D}_{K_m}(\mathbb{R})} $ が Fréchet 空間 $ \mathcal{D}_{K_m}(\mathbb{R}) $ 上で連続であることを示せば十分である。 $ \phi \in \mathcal{D}_{K_m}(\mathbb{R}) $ とすると、 $ n \ge m $ のとき $ |x_n| > n \ge m $ より $ x_n \notin K_m $ であるから $ \phi(x_n) = 0 $ となる。したがって制限された半ノルムは以下のように評価できる：
$$ q(\phi) = \sum_{n=1}^{m-1} c_n |\phi(x_n)| \le \left(\sum_{n=1}^{m-1} c_n\right) \sup_{x \in K_m} |\phi(x)| = C_m p_0(\phi) $$ここで $ C_m = \sum_{n=1}^{m-1} c_n $ は $ \phi $ に依存しない有限な定数である。 $ p_0 $ は $ \mathcal{D}_{K_m}(\mathbb{R}) $ 上の連続なノルムであるため、この評価式より制限写像は連続である。よって $ q $ は $ \mathcal{D}(\mathbb{R}) $ 上の連続半ノルムとなる。
しかし、この連続半ノルム $ q $ に対し、部分列 $ \phi_{j_n} $ を代入すると以下が得られる：
$$ q(\phi_{j_n}) \ge c_n |\phi_{j_n}(x_n)| = 1 $$これは、 $ \phi_j \to 0 $ in $ \mathcal{D}(\mathbb{R}) $ より、任意の連続半ノルムにおいて $ \lim_{j \to \infty} q(\phi_j) = 0 $ となることに矛盾する。したがって、すべての $ j $ に対して $ \text{supp}(\phi_j) \subset K_n $ となる共通の $ n \in \mathbb{N} $ が存在しなければならない。
(iii) 【条件2】各階導関数の一様収束の証明:
Step 1 の結果より、すべての $ \phi_j $ の台は共通のコンパクト集合 $ K_n $ に含まれている。ここで、任意の固定された階数 $ k \ge 0 $ に対し、 $ \mathcal{D}(\mathbb{R}) $ 上の関数 $ \tilde{p}_k $ を以下のように定義する：
$$ \tilde{p}_k(\phi) = \sup_{x \in \mathbb{R}} \left|\frac{d^k \phi}{dx^k}(x)\right| $$台がコンパクトであるため、この上限は有限値であり、 $ \tilde{p}_k $ は半ノルムを定める。これが連続であることを確かめるため、任意の $ m \in \mathbb{N} $ における制限写像を考える。 $ \phi \in \mathcal{D}_{K_m}(\mathbb{R}) $ のとき、台の外側では導関数は $ 0 $ であるため、以下が成り立つ：
$$ \tilde{p}_k(\phi) = \sup_{x \in K_m} \left|\frac{d^k \phi}{dx^k}(x)\right| = p_k(\phi) $$これは $ \mathcal{D}_{K_m}(\mathbb{R}) $ の定義半ノルムそのものであり、したがって制限写像は連続である。よって帰納的極限位相の定義により、 $ \tilde{p}_k $ は $ \mathcal{D}(\mathbb{R}) $ 上で連続な半ノルムである。
仮定 $ \phi_j \to 0 $ より、この連続半ノルムについて $ \lim_{j \to \infty} \tilde{p}_k(\phi_j) = 0 $ が成り立つ。すべての $ \phi_j $ の台は $ K_n $ に含まれるため、 $ \tilde{p}_k(\phi_j) = \sup_{x \in K_n} |d^k \phi_j / dx^k(x)| $ と等しい。これにより、以下が示された：
$$ \lim_{j \to \infty} \sup_{x \in K_n} \left|\frac{d^k \phi_j}{dx^k}(x)\right| = 0 $$これは各階導関数が $ K_n $ 上で一様収束することを意味する。 (必要条件の証明終)
Laurent Schwartz らの定式化に基づくテスト関数の位相空間構造、および LF空間（LF-space）としての帰納的極限位相は、点列収束の議論には十分であるが、より現代的で広範な幾何学（代数幾何学や複素解析幾何学など）の道具であるホモロジー代数を適用する際に、以下のような本質的な困難に直面する：
Peter Scholze と Dustin Clausen によって創始された凝縮数学（Condensed Mathematics）では、「開集合」によって空間を定義することをやめ、空間の位相構造を**「副有限集合 (profinite set) $ S $ （Cantor空間のように、完全に不連結かつコンパクトな位相空間）からその空間への連続写像がどのように振る舞うか」**という層 (sheaf) のデータとして捉え直す。これにより、位相空間の圏を、ホモロジー代数や極限が完全に美しく挙動する**「凝縮集合 (condensed sets)」**や**「凝縮アーベル群 (condensed abelian groups)」**の圏へと置き換える。
さらに、実数体 $ \mathbb{R} $ 上の解析幾何学や関数解析を凝縮数学の枠組みで扱うために、**「液体数学 (Liquid Mathematics)」**と呼ばれる精緻な枠組みが導入された。液体ベクトル空間 (liquid vector spaces) の圏 $ \text{Liq}(\mathbb{R}) $ は完全なアーベル圏をなす。
液体ベクトル空間の圏 $ \text{Liq}(\mathbb{R}) $ の中では、すべての極限（limit）と余極限（colimit）が自然に存在するため、 $ \mathcal{D}(\mathbb{R}) $ を定義する際に「最細の局所凸位相」のような人為的な手続きを行う必要がない。単に、液体ベクトル空間の圏における代数的な余極限として定義される：
$$ \mathcal{D}(\mathbb{R}) = \varinjlim_{n} \mathcal{D}_{K_n}(\mathbb{R}) $$この新しい取り扱いにより、古典的な関数解析の困難が以下のように解決される：
凝縮数学の文献において $ \mathcal{D}(\mathbb{R}) $ という具体的な記号や超関数の構成が個別具体的に議論されることはきわめて稀である。これは以下の理由による：
前述のように、「古典的な関数解析（テスト関数の空間 $ \mathcal{D}(\mathbb{R}) $ や超関数の空間 $ \mathcal{D}'(\mathbb{R}) $ など）の具体的な枠組みを、凝縮数学・液体数学の言葉でどのように完全に書き直すのか」というテーマは、数学の専門家フォーラムにおいても頻繁に議論の的となっている。
特に世界最大の数学者向けQ&Aサイトである MathOverflow の `condensed-mathematics` タグ の議論群では、位相線形空間 (topological vector space) の圏が本質的に抱える欠陥と、それを凝縮数学がどう解決するかについて、Peter Scholze 自身を含む専門家たちによる活発な質疑応答が行われている。
【専門家コミュニティにおける議論の核心と Scholze の見解】
関数解析学における伝統的な位相線形空間（Fréchet空間やLF空間など）の扱いは、凝縮数学の枠組みにおいて液体ベクトル空間 (liquid vector space) として再定義・置換されるべきであるという合意が形成されている。MathOverflow 上の一連の議論において、次のような認識が共有されている：
「実数体上の関数解析を展開する際、位相線形空間の圏は、テンソル積やホモロジー代数の観点から見て極めて『欠陥的 (defective)』である。例えば、空間同士のテンソル積をとる際に、射影的テンソル積や単射的テンソル積など複数の自然な位相が存在し、一意に定まらない。液体ベクトル空間の圏はこの問題を完全に解決し、自然なアーベル圏 (abelian category) を形成する。これにより、テスト関数や超関数の空間（これらは古典的には核型空間として扱われてきた）のテンソル積や双対写像が、純粋に代数的な操作として一意かつ完全に振る舞うようになる。」
— MathOverflow: "Condensed Mathematics" 関連の議論より要約
（関連議論の検索リンク: MathOverflow: "condensed mathematics" AND "distributions"）
このように、専門家の間でも $ \mathcal{D}(\mathbb{R}) $ を人為的な局所凸位相空間としてではなく、液体ベクトル空間のアーベル圏における完全な代数的対象として扱うことで、関数解析を「代数幾何学化」するという壮大なビジョンが共有されている。しかし同時に、古典的な偏微分方程式論や超関数論のすべての定理が液体数学の言葉で完全に書き下された文献は現時点では未完成であり、今後の重要な研究課題として認識されていることがこれらのフォーラムからも窺える。
以下に、本稿で解説した古典的および現代的なアプローチを深く学ぶための信頼できる文献の一覧を示す。各リンクは数学の専門機関による正式な公開資料である。